A Tale of Histories
نویسنده
چکیده
Constraint Handling Rules (CHR) is an elegant, high-level programming language based on multi-headed, forward chaining rules. A distinguishing feature of CHR are propagation rules. To avoid trivial non-termination, CHR implementations ensure a CHR rule is applied at most once with the same combination of constraints by maintaining a so-called propagation history. The performance impact of this history is often significant. We introduce two optimizations to reduce or even eliminate this overhead, and evaluate their implementation in two stateof-the-art CHR systems.
منابع مشابه
Estimating the history of mutations on a phylogeny
Evolution is a historical process that has left its signature on the molecules and morphology of living organisms. Attempts to better understand the specific and general features of evolution involve making inferences about the past from these tell-tale signs (Felsenstein, 1985; Brooks and McLennan, 1991; Harvey and Pagel, 1991; Pagel, 1999). Ancestral state reconstruction is a powerful tool in...
متن کاملMarūfī’s Paykar Farhād [Farhād’s Corpse]:
By baroque, one implies the “general attitude” and “the formal quality” of a work of art which is trans-historical and “radiates through” histories, cultures, and works of art. In that way, just a seventeenth-century work of art cannot be considered baroque; on the other hand, even a postmodern work can display “baroque” features. However, as a slave to its era, the baroque of 2oth and 21th cen...
متن کاملAn Architectural Tale of the Two Cities
A comparative study of the corresponding styles of Western and Iranian modern architecture has hardly ever been carried out in detail. This paper aims to sketch out an outline for such an investigation and to present a summary of empirical evidence accompanied by field observations to elaborate the ongoing trend of relationship between architectural styles in Iran and that of the West. This is ...
متن کاملEnvironmental and Ecological Extra Challenges in Minority Populations; a Tale of Toxic Exposures among First Nation Populations
متن کامل
The Tall Tale of the Helicobacter pylori Blood Group Antigen Binding Proteins
The features of Helicobacter pylori adhesins, their interactions with their host counterparts, regulated and selective gene expressions are amongst the many clever strategies this microorganism undertakes to survive the otherwise sterile gastric milieu. The ingenious crafting of these interactions and the respective host reactions govern, in part, an array of consequences ranging from asympto...
متن کامل